Causality problem in real-time calculus

نویسندگان

  • Karine Altisen
  • Matthieu Moy
چکیده

Real-Time Calculus (RTC) [37] is a framework to analyze heterogeneous, real-time systems that process event streams of data. The streams are characterized by pairs of curves, called arrival curves, that express upper and lower bounds on the number of events that may arrive over any specified time interval. A well-known limitation of RTC is that it cannot model systems with states and several works [1, 4, 5, 11, 18, 19, 22, 23, 30, 24, 31, 38] studied how to interface RTC curves with state-based models. Doing so, while trying, for example to generate a stream of events that satisfies some given pair of curves, we faced a causality problem [33]: it can be the case that, after generating a finite prefix of an event stream, the generator deadlocks, since no extension of the prefix can satisfy the curves afterwards. This paper formally defines the problem; it states and proves algebraic results that characterize causal pairs of curves, i.e. curves for which the problem cannot occur. We consider the general case of infinite curve models, either discrete or continuous time and events. The paper provides an analysis on how causality issues appear when using arrival curves and how they could be handled. It also provides an overview of algorithms to compute causal curves in several models. These algorithms compute a canonical representation of a pair of curves, which is the best pair of curves among the curves equivalent to the ones they take as input.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions

The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of curves, called arrival curves, that express upper and lower bounds on the number of events that may arrive over any specified time interval. System properties may then be computed using algebraic techniques in a compositional w...

متن کامل

Causality Closure for a New Class of Curves in Real-Time Calculus Full version

Real-Time Calculus (RTC) [14] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by arrival curves which express upper and lower bounds on the number of events that may arrive over any specified time interval. System properties may then be computed using algebraic techniques in a compositional way. The property of causalit...

متن کامل

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata

To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem....

متن کامل

The Qualification Problem: A solution to the problem of anomalous models

Intelligent agents in open environments inevitably face the Qualification Problem: The executability of an action can never be predicted with absolute certainty; unexpected circumstances, albeit unlikely, may at any time prevent the successful performance of an action. Reasoning agents in real-world environments rely on a solution to the Qualification Problem in order to make useful predictions...

متن کامل

Application of Mathematics in Financial Management

The Time Value of Money is a important concept in Financial Management. The Time Value of Money includes the concepts of future value and discounted value or present value. In the present article, the basic notions and illustrate with their application in the field of investment which is presented in the mathematical terms in form of theorems and we also presented the applications of some well ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Formal Methods in System Design

دوره 48  شماره 

صفحات  -

تاریخ انتشار 2016